#include <stdio.h>

#define NUMBER '0'

void push(double);
double pop(void);
int isintger(double);
